# principal conjunctive normal form

- 主合取范式

*English-Chinese computer dictionary (英汉计算机词汇大词典).
2013.*

### Look at other dictionaries:

**Canonical form**— Generally, in mathematics, a canonical form (often called normal form or standard form) of an object is a standard way of presenting that object. Canonical form can also mean a differential form that is defined in a natural (canonical) way; see… … Wikipedia**List of mathematics articles (C)**— NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia**Propositional formula**— In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia**Artificial neuron**— An artificial neuron is a mathematical function conceived as a crude model, or abstraction of biological neurons. Artificial neurons are the constitutive units in an artificial neural network. Depending on the specific model used, it can receive… … Wikipedia**MASORAH**— This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism**angiosperm**— /an jee euh sperrm /, n. Bot. a plant having its seeds enclosed in an ovary; a flowering plant. Cf. gymnosperm. [ANGIO + SPERM] * * * ▪ plant Introduction any member of the more than 300,000 species of flowering plants (division Anthophyta) … Universalium**Copula (linguistics)**— To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… … Wikipedia**LINGUISTIC LITERATURE, HEBREW**— This article is arranged according to the following outline: introduction foreword the beginning of linguistic literature linguistic literature and its background the development of linguistic literature Foreword: A Well Defined Unit the four… … Encyclopedia of Judaism**Romance languages**— romance1 (def. 8). [1770 80] * * * Group of related languages derived from Latin, with nearly 920 million native speakers. The major Romance languages French, Spanish, Portuguese, Italian, and Romanian are national languages. French is probably… … Universalium**T–V distinction**— In sociolinguistics, a T–V distinction is a contrast, within one language, between second person pronouns that are specialized for varying levels of politeness, social distance, courtesy, familiarity, or insult toward the addressee. Contents 1… … Wikipedia**applied logic**— Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium